mathematic(al) logic

  1. uzbilimsel usbilim.
simgesel usbilim/ mantık, matematiksel mantık, kavramları sözcüklerle değil, simgelerle göstererek işlem yapan usbilim/ mantık.